A Crash Course in Arrow Logic
نویسندگان
چکیده
Overview This contribution gives a short introduction to arrow logic We start by explaining the basic idea underlying arrow logic and the motivation for studying it sections and We discuss some elementary duality theory between arrow logic and the algebraic theory of binary relations section In the sections and we give a brief survey of the theory that has been developed on the semantics de nability axiomatics and decidability of various systems of arrow logic We brie y describe some closely related formalisms and some extensions and reducts of arrow logic in section We end with mentioning some promising research lines and open problems in section
منابع مشابه
What does the “arrow of time” stand for?
One hundred and thirty years after the work of Ludwig Boltzmann on the interpretation of the irreversibility of physical phenomena, and one century after Einstein's formulation of Special Relativity, we are still not sure what we mean when we talk of “time” or “arrow of time”. We shall try to show that one source of this difficulty is our tendency to confuse, at least verbally, time and becomin...
متن کاملArrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is als...
متن کاملThe undecidability of arbitrary arrow update logic
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic’s satisfiability problem is decidable. Here, we show that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and ther...
متن کاملArrow Update Logic
We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action m...
متن کاملArrow Decision Logic
In this paper, we propose arrow decision logic (ADL), which combines the main features of decision logic and arrow logic. Decision logic represents and reasons about knowledge extracted from decision tables based on rough set theory, while arrow logic is the basic modal logic of arrows. The semantic models of ADL are pairwise comparison tables, which are useful in rough set-based multicriteria ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996